DE eng

Search in the Catalogues and Directories

Page: 1 2 3 4 5 6
Hits 1 – 20 of 120

1
Pomset logic : the other approach to noncommutativity in logic
In: Joachim Lambek (Cham, 2021), p. 299-346
MPI für Psycholinguistik
Show details
2
Pomset logic: a logical and grammatical alternative to the Lambek calculus
In: https://hal.archives-ouvertes.fr/hal-02431876 ; 2020 (2020)
BASE
Show details
3
A computational account of virtual travelers in the Montagovian generative lexicon
In: The Semantics of Dynamic Space in French ; https://hal.archives-ouvertes.fr/hal-02093536 ; Michel Aurnague; Dejan Stosic. The Semantics of Dynamic Space in French, John Benjamins, pp.407-450, 2019, Part IV. Formal and computational aspects of motion-based narrations, 9789027203205. ⟨10.1075/hcp.66.09lef⟩ ; https://benjamins.com/catalog/hcp.66.09lef (2019)
BASE
Show details
4
Natural Language Semantics and Computability
In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal.inria.fr/hal-01315316 ; Journal of Logic, Language and Information, Springer Verlag, 2019, 28 (2), pp.287-307. ⟨10.1007/s10849-019-09290-7⟩ (2019)
BASE
Show details
5
Categorial Proof Nets and Dependency Locality: A New Metric for Linguistic Complexity
In: Symposium on Logic and Algorithms in Computational Linguistics ; LACompLing: Logic and Algorithms in Computational Linguistics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01916104 ; LACompLing: Logic and Algorithms in Computational Linguistics, Aug 2018, Stockholm, Sweden. pp.73-86 ; http://staff.math.su.se/rloukanova/LACompLing2018-web/ (2018)
BASE
Show details
6
Measuring Linguistic Complexity: Introducing a New Categorial Metric
In: Logic and Algorithms in Computational Linguistics 2018, Series: Advances in Intelligent Systems and Computing ; Symposium on Logic and Algorithms in Computational Linguistics (LACompLing 2018) ; https://hal.archives-ouvertes.fr/hal-02146506 ; Symposium on Logic and Algorithms in Computational Linguistics (LACompLing 2018), Aug 2018, Stockholm, Sweden. pp.95-123, ⟨10.1007/978-3-030-30077-7_5⟩ ; http://staff.math.su.se/rloukanova/LACompLing2018-web/ (2018)
BASE
Show details
7
L'approche logique des grammaires catégorielles : une syntaxe tournée vers la sémantique
In: ISSN: 0182-5887 ; Verbum (Presses Universitaires de Nancy) ; https://hal.archives-ouvertes.fr/hal-02093509 ; Verbum (Presses Universitaires de Nancy), Université de Nancy II, 2018, XL (2), pp.237-267 (2018)
BASE
Show details
8
Sentence meaning as argumentative dialogues
In: SEMDIAL: Semantics and Pragmatics of Dialogue ; https://hal.archives-ouvertes.fr/hal-02150083 ; SEMDIAL: Semantics and Pragmatics of Dialogue, Nov 2018, Aix-en-Provence, France. 22nd Workshop on the Semantics and Pragmatics of Dialogue ; https://semdial.hypotheses.org/ (2018)
BASE
Show details
9
An outline of type-theoretical approaches to lexical semantics
In: ISSN: 2299-856X ; EISSN: 2299-8470 ; Journal of Language Modelling ; https://hal.archives-ouvertes.fr/hal-01802968 ; Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2017, 5 (2), pp.165-178. ⟨10.15398/jlm.v5i2.200⟩ (2017)
BASE
Show details
10
Special issue on type-theoretical approaches to lexical semantics
Cooper, Robin; Retoré, Christian. - : HAL CCSD, 2017. : Institute of Computer Science, Polish Academy of Sciences, Poland, 2017
In: ISSN: 2299-856X ; EISSN: 2299-8470 ; Journal of Language Modelling ; https://hal.archives-ouvertes.fr/hal-01803758 ; France. Journal of Language Modelling, 5 (2 ), 2017 ; http://jlm.ipipan.waw.pl/index.php/JLM/issue/view/16 (2017)
BASE
Show details
11
Classifiers, Sorts, and Base Types in the Montagovian Generative Lexicon and Related Type Theoretical Frameworks for Lexical Compositional Semantics
In: Modern Perspectives in Type-Theoretical Semantics ; https://hal.archives-ouvertes.fr/hal-01471256 ; Modern Perspectives in Type-Theoretical Semantics, Studies in Linguistics and Philosophy (98), pp.163-188, 2017, 978-3-319-50422-3. ⟨10.1007/978-3-319-50422-3_7⟩ (2017)
BASE
Show details
12
Collecting Weighted Coercions from Crowd-Sourced Lexical Data for Compositional Semantic Analysis
In: JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papers ; JSAI-isAI Workshops ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01916209 ; JSAI-isAI Workshops, Nov 2017, Tokyo, Japan. pp.214-230, ⟨10.1007/978-3-319-93794-6_15⟩ ; https://www.ai-gakkai.or.jp/isai/isai2017 (2017)
BASE
Show details
13
Collecting Crowd-Sourced Lexical Coercions for Compositional Semantic Analysis
In: 14th International Workshop on Logic and Engineering of Natural Language Semantics @ JSAI International Symposia on AI (isAI2017) ; LENLS: Logic and Engineering of Natural Language Semantics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01916195 ; LENLS: Logic and Engineering of Natural Language Semantics, Nov 2017, Tokyo, Japan ; http://www.is.ocha.ac.jp/~bekki/lenls/lenls14/index.html (2017)
BASE
Show details
14
From logical and linguistic generics to Hilbert’s tau and epsilon quantifiers
In: ISSN: 2055-3706 ; IfColog Journal of Logics and their Applications (FLAP) ; https://hal.archives-ouvertes.fr/hal-01803717 ; IfColog Journal of Logics and their Applications (FLAP), College Publications, 2017, Hilbert’s epsilon and tau in Logic, Informatics and Linguistics, 4 (2), pp.231-256 ; http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf (2017)
BASE
Show details
15
Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
Chatzikyriakidis, Stergios; Pasquali, Fabio; Retoré, Christian. - : HAL CCSD, 2017. : College Publications, 2017
In: ISSN: 2055-3706 ; IfColog Journal of Logics and their Applications (FLAP) ; https://hal.archives-ouvertes.fr/hal-01803760 ; France. IfColog Journal of Logics and their Applications (FLAP), 4 (2), College Publications, 2017 ; http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf (2017)
BASE
Show details
16
If sentences could see: Investigating visual information for semantic textual similarity
Glavaš, Goran; Vulić, Ivan; Ponzetto, Simone Paolo. - : Association for Computational Linguistics, 2017
BASE
Show details
17
Conditions d’assertion de chaque et de tout et règles de déduction du quantificateur universel
In: Travaux de linguistique, n 72, 1, 2017-02-03, pp.89-106 (2017)
BASE
Show details
18
Quantification in Ordinary Language and Proof Theory
In: ISSN: 1281-2463 ; EISSN: 1775-4283 ; Philosophia Scientiae ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01348023 ; Philosophia Scientiae, Editions Kime, 2016, pp.185-205. ⟨10.4000/philosophiascientiae.1163⟩ ; http://www.cairn.info/revue-philosophia-scientiae-2016-1-page-185.htm (2016)
BASE
Show details
19
Natural Language Semantics and Computability ...
Moot, Richard; Retoré, Christian. - : arXiv, 2016
BASE
Show details
20
Extended abstracts of the ESSLLI 2015 workshop TYTLES: Types Theory and Lexical Semantics
Cooper, Robin; Retoré, Christian. - : HAL CCSD, 2015
In: https://hal.archives-ouvertes.fr/hal-01584832 ; Aug 2015, Barcelona, Spain. 2015 (2015)
BASE
Show details

Page: 1 2 3 4 5 6

Catalogues
6
0
6
0
1
0
0
Bibliographies
11
0
0
0
0
0
0
0
2
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
100
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern